Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES

The rollback operation is a fundamental building block to support the correct execution of a speculative Time Warp-based Parallel Discrete Event Simulation. In the literature, several solutions to reduce the execution cost of this operation have been proposed, either based on the creation of a checkpoint of previous simulation state images, or on the execution of negative copies of simulation events which are able to undo the updates on the state. In this paper, we explore the practical design and implementation of a state recoverability technique which allows to restore a previous simulation state either relying on checkpointing or on the reverse execution of the state updates occurred while processing events in forward mode. Differently from other proposals, we address the issue of executing backward updates in a fully-transparent and event granularity-independent way, by relying on static software instrumentation (targeting the x86 architecture and Linux systems) to generate at runtime reverse update code blocks (not to be confused with reverse events, proper of the reverse computing approach). These are able to undo the effects of a forward execution while minimizing the cost of the undo operation. We also present experimental results related to our implementation, which is released as free software and fully integrated into the open source ROOT-Sim (ROme OpTimistic Simulator) package. The experimental data support the viability and effectiveness of our proposal

A new approach to reversible computing with applications to speculative parallel simulation

In this thesis, we propose an innovative approach to reversible computing that shifts the focus from the operations to the memory outcome of a generic program. This choice allows us to overcome some typical challenges of "plain" reversible computing. Our methodology is to instrument a generic application with the help of an instrumentation tool, namely Hijacker, which we have redesigned and developed for the purpose. Through compile-time instrumentation, we enhance the program's code to keep track of the memory trace it produces until the end. Regardless of the complexity behind the generation of each computational step of the program, we can build inverse machine instructions just by inspecting the instruction that is attempting to write some value to memory. Therefore from this information, we craft an ad-hoc instruction that conveys this old value and the knowledge of where to replace it. This instruction will become part of a more comprehensive structure, namely the reverse window. Through this structure, we have sufficient information to cancel all the updates done by the generic program during its execution. In this writing, we will discuss the structure of the reverse window, as the building block for the whole reversing framework we designed and finally realized. Albeit we settle our solution in the specific context of the parallel discrete event simulation (PDES) adopting the Time Warp synchronization protocol, this framework paves the way for further general-purpose development and employment. We also present two additional innovative contributions coming from our innovative reversibility approach, both of them still embrace traditional state saving-based rollback strategy. The first contribution aims to harness the advantages of both the possible approaches. We implement the rollback operation combining state saving together with our reversible support through a mathematical model. This model enables the system to choose in autonomicity the best rollback strategy, by the mutable runtime dynamics of programs. The second contribution explores an orthogonal direction, still related to reversible computing aspects. In particular, we will address the problem of reversing shared libraries. Indeed, leading from their nature, shared objects are visible to the whole system and so does every possible external modification of their code. As a consequence, it is not possible to instrument them without affecting other unaware applications. We propose a different method to deal with the instrumentation of shared objects. All our innovative proposals have been assessed using the last generation of the open source ROOT-Sim PDES platform, where we integrated our solutions. ROOT-Sim is a C-based package implementing a general purpose simulation environment based on the Time Warp synchronization protocol

Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation

Speculative parallel discrete event simulation requires a support for reversing processed events, also called state recovery, when causal inconsistencies are revealed. In this article we present an approach where state recovery relies on a mix of hardware- and software-based techniques. We exploit the Hardware Transactional Memory (HTM) support, as offered by Intel Haswell CPUs, to process events as in-memory transactions, which are possibly committed only after their causal consistency is verified. At the same time, we exploit an innovative software-based reversibility technique, fully relying on transparent software instrumentation targeting x86/ELF objects, which enables undoing side effects by events with no actual backward re-computation. Each thread within our speculative processing engine dynamically (on a per-event basis) selects which recovery mode to rely on (hardware vs software) depending on varying runtime dynamics. The latter are captured by a lightweight analytic model indicating to what extent the HTM support (not paying any instrumentation cost) is efficient, and after what level of events’ parallelism it starts degrading its performance, e.g., due to excessive data conflicts while manipulating causality meta-data within HTM-based transactions. We released our implementation as open source software and provide experimental results for an assessment of its effectiveness. © Springer International Publishing Switzerland 2016

Optimizing simulation on shared-memory platforms: The smart cities case

Modern advancements in computing architectures have been accompanied by new emergent paradigms to run Parallel Discrete Event Simulation models efficiently. Indeed, many new paradigms to effectively use the available underlying hardware have been proposed in the literature. Among these, the Share-Everything paradigm tackles massively-parallel shared-memory machines, in order to support speculative simulation by taking into account the limits and benefits related to this family of architectures. Previous results have shown how this paradigm outperforms traditional speculative strategies (such as data-separated Time Warp systems) whenever the granularity of executed events is small. In this paper, we show performance implications of this simulation-engine organization when the simulation models have a variable granularity. To this end, we have selected a traffic model, tailored for smart cities-oriented simulation. Our assessment illustrates the effects of the various tuning parameters related to the approach, opening to a higher understanding of this innovative paradigm

RAMSES: Reversibility-based agent modeling and simulation environment with speculation-support

This paper presents RAMSES, a framework for easily specifying agent-based discrete event models entailing both environment and agent entities. RAMSES offers parallel execution capabilities based on speculative event processing and an innovative software reversibility technique that copes with state restore in case the run slides along a non-consistent speculative path. Reversibility in RAMSES relies on transparent static software instrumentation, thus allowing the model developer to concentrate on the actual forward-execution logic of the simulation events occurring in the system. An experimental assessment of RAMSES is also presented, which is aimed at determining its run-time effectiveness and its potential for simplifying the development of agent-based models when compared to other (general purpose) speculative frameworks for parallel discrete event simulation

A Power Cap Oriented Time Warp Architecture

Controlling power usage has become a core objective in modern computing platforms. In this article we present an innovative Time Warp architecture oriented to efficiently run parallel simulations under a power cap. Our architectural organization considers power usage as a foundational design principle, as opposed to classical power-unaware Time Warp design. We provide early experimental results showing the potential of our proposal

Wettability conversion of colloidal TiO2 nanocrystal thin films with UV-switchable hydrophilicity

Under pulsed laser UV irradiation, thin-film coatings made of close-packed TiO2 nanorods individually coated with surfactants can exhibit a temporary increase in their degree of surface hydroxylation without any apparent photocatalytic removal of the capping molecules. This mechanism provides a basis for achieving light-driven conversion from a highly hydrophobic to a highly hydrophilic, metastable state, followed by extremely slow recovery of the original conditions under dark ambient environment. A deeper insight into the wetting dynamics is gained by time-dependent water contact-angle and infrared spectroscopy monitoring of the film properties under different post-UV storage conditions. Our study reveals that, for reversible switchability between extreme wettability excursions and long-term repeatability of such changes to be achieved, specific modifications in the polar and nonpolar components of the TiO2 films need to be guaranteed along with preservation of the original geometric arrangement of the nanocrystal building blocks. The application of moderate vacuum is found to be an effective method for accelerating the post-UV hydrophilic-to-hydrophobic conversion, thereby enabling fast and cyclic hydrophilization/hydrophobicization alternation without any detrimental signs of significant fatigue

Size, Shape, and Internal Atomic Ordering of Nanocrystals by Atomic Pair Distribution Functions: A Comparative Study of γ-Fe2O3 Nanosized Spheres and Tetrapods

Due to their limited length of structural coherence nanocrystalline materials show very diffuse powder X-ray diffraction patterns that are difficult to interpret unambiguously. We demonstrate that a combination of high-energy X-ray powder diffraction and atomic pair distribution function analysis can be used to both assess the geometry (i.e., size and shape) and determine the internal atomic ordering of nanocrystalline materials in a straightforward way. As an example we consider cubic γ-Fe2O3 nanosized crystals shaped as spheres and tetrapods

Determination of band-offset enhanced in InGaAsP -InGaAsP strained multiquantum wells by photocurrent measurements

We experimentally determine the band offset of strain-compensated InGaAsP-InGaAsP multiquantum-well (MQW) heterostructures, emitting at 1.55 mum, that were grown by metal-organic chemical vapor deposition. A band offset value of about 56% is found for the conduction band, which is higher than the value reported for the unstrained structure. The temperature dependence of the photoluminescence intensity shows that the unipolar detrapping of carriers in such MQWs is more efficient than the thermal activation of excitons. (C) 2005 American Institute of Physic

Reversibly Light-Switchable Wettability of Hybrid Organic/Inorganic Surfaces With Dual Micro-/ Nanoscale Roughness

Here, an approach to realize ''smart'' solid substrates that can convert their wetting behavior between extreme states under selective light irradiation conditions is described. Hybrid organic/inorganic surfaces are engineered by exploiting photolithographically tailored SU-8 polymer patterns as templates for accommodating closely packed arrays of colloidal anatase TiO2 nanorods, which are able to respond to UV light by reversibly changing their surface chemistry. The TiO2-covered SU-8 substrates are characterized by a dual micro-/nanoscale roughness, arising from the overlapping of surfactantcapped inorganic nanorods onto micrometer-sized polymer pillars. Such combined architectural and chemical surface design enables the achievement of UV-driven reversible transitions from a highly hydrophobic to a highly hydrophilic condition, with excursions in water contact angle values larger than 1008. The influence of the geometric and compositional parameters of the hybrid surfaces on their wettability behavior is examined and discussed within the frame of the available theoretical models